Nuprl Definition : es-next-bool-assign 11,40
next event in [e,bound] after which x = b == next event in [e;bound] after which x = b 
latex

clarification:

es-next-bool-assign{i:l}
es-next-bool-assign(es; x; b; e; bound)
== es-next-assign{i:l}
== es-next-assign(es; ; BoolDeq; b; x; e; bound) 
latex

DefinitionsBoolDeq, , next event in [e;bound] after which x = v
FDL editor aliaseses-next-bool-assign

origin